G. D’Agostino; "Interpolation in non-classical logics"
Giovanna D'Agostino
https://www.jstor.org/stable/40271081
非古典論理
(様相論理も含む)に関する
補間定理
に関しての
サーベイ論文